borel lebesgue covering theorem
covering theorem of heine borel
Heine Borel covering theorem
Buckingham theorem, pi theorem
Kolgomorov-Arnol‘d-Moser theorem, KAM theorem
A Borel direction of largest type
Borel [measurable] function
Borel direction of largest type
borel exceptional value